2461. مدخل منطق صورت، یا، منطق ریاضی
پدیدآورنده: / نگارش غلامحسین مصاحب.,مصاحب
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع: منطق ریاضی,Logic, symbolic and mathematical,a06,a06
رده :
QA
۹
/
م
۶
م
۴ ۱۳۶۶
2462. مفهومنگاشت
پدیدآورنده: / گوتلوب فرِگه,فرگه,Frege
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics, -- فلسفه, -- Philosophy,a02,a01
رده :
QA
۹
/
ف
۴
م
۷ ۱۳۹۶
2463. مقدمهای بر منطق جدید
پدیدآورنده: / پل اگره,کتاب حاضر ترجمه درسگفتارهایی است که توسط پل اگره در مدرسۀ عالی نرمال پاریس به صورت جزوهای با عنوان École Normale Supérieure منتشر شده است.,اگره,Égré
کتابخانه: کتابخانه دانشگاه علوم اسلامی رضوى (ع) (خراسان رضوی)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,منطق جدید,Logic, Modern,a02,a02,a01,a01
رده :
۵۱۱
/
۳
الف
۶۹۶
م
2464. مقدمهای بر منطق جدید
پدیدآورنده: / پل اگره,کتاب حاضر ترجمه درسگفتارهایی است که توسط پل اگره در مدرسۀ عالی نرمال پاریس به صورت جزوهای با عنوان École Normale Supérieure منتشر شده است.,اگره,Égré
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,منطق جدید,Logic, Modern
رده :
QA
۹
/
الف
۷
م
۷ ۱۴۰۱
2465. مقدمهای بر نظریهی اصولی مجموعهها
پدیدآورنده: / تالیف عبدعلی کوچک پور، مهرداد نامداری.,کوچکپور
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: نظریه اصولی مجموعهها,Axiomatic set theory,منطق ریاضی,Logic, Symbolic and mathematical,a06,a06,a08,a08
رده :
QA
۲۴۸
/
ک
۹
م
۷ ۱۳۹۴
2466. منطق ریاضی
پدیدآورنده: / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع: منطق ریاضی,Logic, symbolic and mathematical,a03,a03
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2467. منطق ریاضی
پدیدآورنده: / محمد اردشیر.,اردشیر بهرستاقی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,a06,a06
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۹
2468. منطق ریاضی
پدیدآورنده: / تالیف منیره پیمان,پیمان
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,a01,a01
رده :
QA
۹
/
پ
۹
م
۸
2469. منطق ریاضی
پدیدآورنده: / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
کتابخانه: کتابخانه مرکزی مجتمع آموزش عالی امام خمینی (ره) - جامعة المصطفی (ص) العالمیة (قم)
موضوع: منطق ریاضی,Logic, symbolic and mathematical,a03,a03
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2470. منطق و زبانشناسی
پدیدآورنده: / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۷
م
۸
2471. منطق و زبانشناسی
پدیدآورنده: / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: کتابخانه دانشگاه بین المللی مذاهب اسلامی (تهران)
موضوع: زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۸
م
۸ ۱۳۹۹
2472. منطق و زبانشناسی
پدیدآورنده: / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۷
م
۸ ۱۳۹۹
2473. نظریه صدق تارسکی
پدیدآورنده: / علیاکبر احمدیافرمجانی.,احمدی افرمجانی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,a01
رده :
BC
۱۳۵
/
الف
۳
ن
۶ ۱۳۹۷
2474. هنر منطق در دنیای بیمنطق
پدیدآورنده: / یوجنیا چنگ,عنوان اصلی: The art of logic in an illogical world, 2018.,چنگ,Cheng
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,منطق,Logic,استدلال ,Reasoning,اندیشه و تفکر,Thought and thinking, -- بهزبان ساده, -- Popular works, -- به زبان ساده, -- Popular works, -- به زبان ساده, -- Popular Works,a01,a01,a02,a02,a04,a04,a03,a03
رده :
QA
۹
/
چ
۹
هـ
۹ ۱۳۹۸